COM: union summary

ABS: isl(x)

STM: isl wf

ABS: outl(x)

STM: outl wf

ABS: outr(x)

STM: outr wf

COM: union end